dircheck.dtx
Alan Jeffrey